This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Lee masThe book is discussing topics such as autonomy, incentives and trust, overlays and virtualization, load balancing and fault ...
Lee masThis State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
Lee masThe book presented at the symposium focused on topics related to these three events and to artificial intelligence and robotics ...
Lee masThis book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic ...
Lee masThis book is segmented into four topical sections on foundations of computer science; computing by nature; networks, security, ...
Lee masThis book is organized in topical sections on database security, trust management, privacy protection, and security and privacy ...
Lee masThe present volume arose from the need for a comprehensive coverage of the state of the art in security protocol analysis. ...
Lee masThis book is organized in topical sections on Implementations, Protocols, Encryption, Primitives, Signatures, Hardware and ...
Lee masTelecommunications networks are a critical component of the economic and social infrastructures in which we live. Each day, ...
Lee masThis book constitutes the refereed proceedings of the 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, ...
Lee masThis book is organized in topical sections on peer-to-peer systems, overlay networks as well as resource and service management.
Lee masSemantic Grid: Model, Methodology, and Applications introduces to the science, core technologies, and killer applications. ...
Lee masThe book cover topics such as semantic analysis and multimedia, semantic retrieval and multimedia, semantic metadata management ...
Lee masThis book cover topics such as: web semantics and linked (open) data; machine learning and deep learning techniques; semantic ...
Lee masThis book presented original contributions demonstrating the use of logic, discrete mathematics, combinatorics, domain theory ...
Lee masThe book features valuable discussions of relevant concepts that examine the various approaches which define emerging theoretical ...
Lee masThe book is organized in topical sections on enterprise system dependability, software service availability, service availability ...
Lee masThe book present original research in the field of service oriented computing, from theoretical and foundational results ...
Lee masThe book address a range of topics at the intersection of service-oriented computing, semantic technology, and intelligent ...
Lee mas